Cs 792
ثبت نشده
چکیده
We have seen previously that there are three ways of generating new redexes by reduction. Out of the three forms, one may argue that one of them is not a new redex, but a residual of a redex in the initial term: We can define a new reduction which reduces this 'hidden redexes'. This reduction is called generalized β-reduction and is denoted by → g β. Given a term with hidden redexes, one step of → g β allows the reduction of any of the existing redexes (no matter how deeply hidden they are):
منابع مشابه
CS 792 Notes : Lecture
Arranged by Yarom Gabay based on a seminar by Assaf Kfoury March 1, 2005 The references are to Barendregt’s book [1]. So far we have studied the λ-calculus as a rewrite-system , i.e., we have studied properties of reduction, specifically, β-reduction. We can also study the λ-calculus as an equational theory , i.e., an axiomatic system consisting of axioms and inference rules to produce valid eq...
متن کاملCS 792 Notes : Lecture 14
• P = {1, 2, 3, . . .} • Seq = {< n1, . . . , nk > | k > 0, n1, . . . , nk ∈ P}. p, q, r and s, possibly decorated, are metavariables ranging over Seq. • If p =< m1, . . . ,mk > and q =< n1, . . . , nl > then p ∗ q = 〈m1, . . . ,mk, n1, . . . , nl〉. • p ∗ 〈 〉 = 〈 〉 ∗ p = p for every p ∈ Seq. • p 6 q iff there is s such that p ∗ s = q. Definition 1.1 (Trees). T ⊆ Seq is a tree iff: 1. q ∈ T and ...
متن کاملProbing the roles of SUMOylation in cancer cell biology by using a selective SAE inhibitor.
Small ubiquitin-like modifier (SUMO) family proteins regulate target-protein functions by post-translational modification. However, a potent and selective inhibitor targeting the SUMO pathway has been lacking. Here we describe ML-792, a mechanism-based SUMO-activating enzyme (SAE) inhibitor with nanomolar potency in cellular assays. ML-792 selectively blocks SAE enzyme activity and total SUMOyl...
متن کاملStromal hyaluronan interaction with epithelial CD44variants promotes prostate cancer invasiveness by augmenting expression and function of HGF and androgen receptor
Address correspondence to: Shibnath Ghatak, Regenerative Medicine and Cell Biology Anatomy and Division of Rheumatology and Immunology (Department of Medicine), Medical University of South Carolina, 171 Ashley Avenue, Charleston, South Carolina 29425; Tel.: 843-792-8642; Fax: 843792-0664; E-mail: [email protected], or Suniti Misra, Regenerative Medicine and Cell Biology Anatomy and Division of Rh...
متن کاملTissue-specific triple ribozyme vectors for prostate cancer gene therapy
Dale J. Voeks1, Gary A. Clawson2, and James S. Norris1 1Medical University of South Carolina, Charleston, SC; 2Penn State University, Hershey, PA __________________________________________________________________________________________________ Correspondence: Dr. James S. Norris, Department of Microbiology and Immunology, Medical University of South Carolina, 171 Ashley Avenue, Charleston, Sou...
متن کامل